Feeds to Scour
SubscribedAll
Scoured 185130 posts in 2.1 ms
A Foundation for Differentiable Logics using Dependent Type Theory
arxiv.org·23h
🏗️Calculus of Constructions
Designing a Coherence Score (CS) for Structural Evaluation of LLM Outputs
dev.to·2h·
Discuss: DEV
🪜Recursive Descent
Extending Formal Verification to Sequential Circuits (U. of Bremen)
semiengineering.com·11h
📈Monotonic Logic
G\"odel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication
arxiv.org·23h
🔬Hindley-Milner
Differential Logic • 15
inquiryintoinquiry.com·10h
🧩Constraint Logic
Recursive SNARKs Explained: How Proofs Verify Other Proofs
dev.to·1d·
Discuss: DEV
🧮Theorem Provers
Maximally minimal specialization: always applicable impls
smallcultfollowing.com·16h
⚡Partial Evaluation
The Semantic Infrastructure Opportunity: Building Meaningful Operational Frameworks
moderndata101.substack.com·16h·
Discuss: Substack
🧠Semantic Parsing
Error Handling Strategies for Probabilistic Code Execution
sitepoint.com·8h
🚂Error Propagation
maximilliangeorge/prime-md: A machine-readable graph of truth claims, built on Git and Markdown
github.com·2d·
Discuss: Hacker News
📜Proof Languages
A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices
coding-mischief.com·6h·
Discuss: Hacker News
🤐Zipper Structures
RIP #14: A Formal Model of Posting Behavior on Stacker News \ stacker news
stacker.news·11h
📮Message Queues
Show HN: An Auditable Decision Engine for AI Systems
maelstrom.ghostlogic.tech·2h·
Discuss: Hacker News
🏰Capability Machines
Structured Outputs for LLMs
ternarysearch.blogspot.com·21h·
Discuss: Hacker News, ternarysearch.blogspot.com
🪜Recursive Descent
FGRPO: Fine-grained reasoning preference optimization with iterative stabilization for mathematical reasoning in large language model
sciencedirect.com·1d
🎯Constraint Solving
Programming in K
news.ycombinator.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
How to Design Environments for Understanding Model Motives
lesswrong.com·21h
✨Effect Inference
OTTL context inference comes to the Filter Processor
opentelemetry.io·1d
🗺️Region Inference
Making Verifpal Easier to Reason About
symbolic.software·2d
📜Proof Languages
What every computer science major should know
matt.might.net·4h·
Discuss: Hacker News
📖Literate Programming

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help